Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
3

Formal Verification of Industrial Control Systems

Année:
2001
Langue:
english
Fichier:
PDF, 633 KB
english, 2001
6

Clinical measurement of addictions

Année:
2012
Langue:
english
Fichier:
PDF, 582 KB
english, 2012
23

Preface

Année:
2007
Langue:
english
Fichier:
PDF, 61 KB
english, 2007
25

Opacity of Discrete Event Systems: models, validation and quantification

Année:
2015
Langue:
english
Fichier:
PDF, 557 KB
english, 2015
26

Algebraic synthesis of dependable logic controllers

Année:
2008
Langue:
english
Fichier:
PDF, 272 KB
english, 2008
32

Methods for Safe Control Systems Design and Implementation

Année:
2001
Langue:
english
Fichier:
PDF, 628 KB
english, 2001